pure function len(): integer
Deprecated (for removal): Use 'size' instead
Returns the number of characters in this text.
Since
0.6.0
Alias of text.size